MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 25-Nov-96 00:41:11 GMT
Content-Type: text/html
Content-Length: 989
Last-Modified: Thursday, 09-Nov-95 13:00:09 GMT

<TITLE> Nuprl 4 Automated Reasoning System Browser</TITLE>
<H1>Introduction to Nuprl</H1> <p>

<H2> Nuprl Project -
Computer Science Department at Cornell University</H2> <P>


<UL> 
<LI> <!WA0><!WA0><!WA0><!WA0><A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/html/overview/overview.html"> Brief Description of Nuprl</A>
<LI> <!WA1><!WA1><!WA1><!WA1><A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/html/design.html">	Nuprl/WWW Browser Design</A>
<LI> <!WA2><!WA2><!WA2><!WA2><A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/html/crew.html"> Nuprl Project Staff</A>
</UL> <P>

<HR>
<H3> System Requirements </H3>
To use the Nuprl/WWW Browser, you should have a World Wide Web client (HTML
browser) that can display inlined GIF and XBM format images and supports
HTML Fill-Out Forms.  NCSA Mosaic for X-Windows is one such client.
Most items will still be readable without image and Fill-Out Form support.
One exception: the <!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/html/browsertop.html">    Nuprl Theory/Theorem Browser</A>
will be will be unreadable without XBM image support.
<P>
<HR>

<!WA4><!WA4><!WA4><!WA4><A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/index.html"><!WA5><!WA5><!WA5><!WA5><img src="http://www.cs.cornell.edu/Info/Projects/NuPrl/icons/index.gif">
 Return to Main Index</a> <p>

<ADDRESS> Nuprl Project / nuprl@cs.cornell.edu </ADDRESS>
